منابع مشابه
Rely-Guarantee View Typestate
The combination of mutable state and pointer aliasing is often troublesome due to non-obvious (and usually unspecified) interferences that may occur between non-local parts of the program. We present a type-based approach to statically control aliasing and mutable state in a minimalistic single-threaded procedural language with support for structures and references. By introducing views, re-com...
متن کاملHow to Guarantee Realtime Behavior Using Ethernet
Ethernet is now conquering the field level in automation technology. Realtime behavior is a knock-out criterion therefore. This paper deals with the key concepts for guaranteed realtime behavior using Ethernet, based on the requirements of factory automation. A classification of the vendor-driven approaches that are currently under discussion for realtime Ethernet is provided.
متن کاملHow to Guarantee Secrecy for Cryptographic Protocols
In this paper we propose a general definition of secrecy for cryptographic protocols in the Dolev-Yao model. We give a sufficient condition ensuring secrecy for protocols where rules have encryption depth at most two, that is satisfied by almost all practical protocols. The only allowed primitives in the class of protocols we consider are pairing and encryption with atomic keys. Moreover, we de...
متن کاملHow to construct optimal one-time signatures
One-time signature (OTS) offer a viable alternative to public key-based digital signatures. OTS security is typically based only on the strength of the underlying one-way function and does not depend on the conjectured difficulty of some mathematical problem. Although many OTS methods have been proposed in the past, no solid foundation exists for judging their efficiency or optimality. This pap...
متن کاملa benchmarking approach to optimal asset allocation for insurers and pension funds
uncertainty in the financial market will be driven by underlying brownian motions, while the assets are assumed to be general stochastic processes adapted to the filtration of the brownian motions. the goal of this study is to calculate the accumulated wealth in order to optimize the expected terminal value using a suitable utility function. this thesis introduced the lim-wong’s benchmark fun...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Cardiac Surgery
سال: 2020
ISSN: 0886-0440,1540-8191
DOI: 10.1111/jocs.14926